Open Source Prolog Mathematics Software

x
Sort By:

Prolog Mathematics Software

View 2711 business solutions
Mathematics Prolog Clear Filters

Browse free open source Prolog Mathematics Software and projects below. Use the toggles on the left to filter open source Prolog Mathematics Software by OS, license, language, programming language, and project status.

  • Deploy Apps in Seconds with Cloud Run Icon
    Deploy Apps in Seconds with Cloud Run

    Host and run your applications without the need to manage infrastructure. Scales up from and down to zero automatically.

    Cloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
    Try Cloud Run Free
  • $300 in Free Credit for Your Google Cloud Projects Icon
    $300 in Free Credit for Your Google Cloud Projects

    Build, test, and explore on Google Cloud with $300 in free credit. No hidden charges. No surprise bills.

    Launch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 1
    DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    PrechacThis is a web-based siteswap generator for jugglers. It finds all symmetric passing patterns fulfilling given constraints like period-length and maximum height of throws.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Yo Ho Ho And A Bottle Of Rum - Fifteen men on a dead man's chest. This is a project for solving a sudoku with the help of Prolog programming language. The program will be able not to only solve a defined sudoku but enumerate all available in a dimension
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Cloud Costs with Google Compute Engine Icon
    Cut Cloud Costs with Google Compute Engine

    Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.

    Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
    Try Compute Engine
  • 5
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Python interface to ECLiPSe Constraint Logic Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

MongoDB Logo MongoDB