Search Results for "logic programming" - Page 2

x
Sort By:

Showing 38 open source projects for "logic programming"

View related business solutions
Artificial Intelligence Linux Clear Filters & Widen Search
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1

    GLORIA

    a reasoning engine for agents and games

    This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Python interface to ECLiPSe Constraint Logic Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    2OPL

    2OPL is a norm programming language for agent organizations.

    ...Finally sanction rules can be programmed to respond to norm violations. The current implementation is based on logic programming (Prolog in particular). For those users who are not familiar with Prolog we advise the free ebook Learn Prolog Now (http://www.learnprolognow.org). The interpreter supports three different norm specifications. For more information see the documentation or mail one of the developers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    LPIA

    Programming language for artificial intelligence

    LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 5
    NaruGo is game AI project. Current targets are GO board game and Texas Holdem poker. It investigates Genetic programming to build game AI logic. Also EA/GP simulations for TSP, Graph layout and Prisoners Dilemma problem.
    1 Review
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
    Downloads: 6 This Week
    Last Update:
    See Project
  • 8
    A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logic programming concepts like logical variables, facts, rules and queries are included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    SETH is a software effort to deeply integrate Python and Semantic Web technologies, i.e. extend Python to support logic programming paradigm.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 10
    This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
    Downloads: 11 This Week
    Last Update:
    See Project
  • 12

    Solve Logic Word Puzzles with CLP

    Constraint Logic can solve word logic puzzles.

    Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/). Don't confuse this programming language (a prolog language) with the IDE for Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    a distributed engine for abstract neural network development via natural-language programming
    Downloads: 0 This Week
    Last Update:
    See Project

Related Searches

Related Categories

MongoDB Logo MongoDB