Open Source Prolog Software for BSD
Sort By:
Prolog Software for BSD
Browse free open source Prolog Software for BSD and projects below. Use the toggles on the left to filter open source Prolog Software for BSD by OS, license, language, programming language, and project status.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Network Performance Monitoring | StatseekerUsing just a single server or virtual machine, Statseeker can be up and running within minutes, and discovering your entire network in less than an hour, without any significant effect on your bandwidth availability.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.">
-
2
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
3
Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS). -
4
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
Employees get more done with RipplingEffortlessly manage the entire employee lifecycle, from hiring to benefits administration. Automate HR tasks, ensure compliance, and streamline approvals. Simplify IT with device management, software access, and compliance monitoring, all from one dashboard. Enjoy timely payroll, real-time financial visibility, and dynamic spend policies. Rippling empowers your business to save time, reduce costs, and enhance efficiency, allowing you to focus on growth. Experience the power of unified management with Rippling today.
-
5
AminePlatform
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. CGs are considered by SYNERGY as activable/executable graphs. See for more detail: //amine-platform.sourceforge.net/">
-
6
Programming Language ADP
ADP is a script language designed for Web database prgramming.
ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call. -
7
Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.
-
8
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
-
9
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
AI Powered Global HCM for the Evolving World of WorkDarwinbox is a new-age & disruptive mobile-first, cloud-based HRMS platform built for the large enterprises to attract, engage and nurture their most critical resource - talent. It is an end-to-end integrated HR system that aids in streamlining activities across the employee lifecycle (Hire to Retire). Our powerful enterprise product features are built with a clear focus on intuitiveness and scalability, with standards of best in class consumer apps. Darwinbox’s motto is to engage, empower, and inspire employees on one side in addition to automating and simplifying all HR processes for the enterprise on the other. Over 350+ leading enterprises with 850k users manage their entire employee lifecycle on this unified platform.
-
10
A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic Maps, Structured Arguments, and Workflow.
-
11
EulerSharp
Euler Yet another proof Engine
EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm -
12
JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.
-
13
Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
-
14
ALPprolog is a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
-
15
Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
-
16
Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.
-
17
Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.
-
18
-
19
TuCSoN
TuCSoN tuple-based coordination middleware
TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems. -
20
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
-
21
-
22
A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
-
23
Browlser lets you view Semantic Web RDF/OWL straight from your browser. Supports SWRL rules for OWL files that also define rules for displaying the data. You can give someone a URL address which directly runs the OWL application.
-
24
A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
-
25
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.