Open Source Prolog Software - Page 5
Sort By:
Prolog Software
Browse free open source Prolog Software and projects below. Use the toggles on the left to filter open source Prolog Software by OS, license, language, programming language, and project status.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
1
The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
-
2
PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen
-
3
An agent-based dialogue management system that maintains a probabilistic nested belief model and uses it in the choice of dialogue strategies
-
4
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.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).
-
6
ProLogic
Prolog wrapper for BWAPI
Enables Prolog developers to create AI modules for StarCraft BroodWar by wrapping the BWAPI functions in Prolog predicates. For more information refer to the Project Wiki. -
7
Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.
-
8
-
9
A Simulation based on SWI Prolog
-
Get the most trusted enterprise browserDefend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
-
10
This is an implementation of a client/server-architecture poker(Limit Texas Hold'em) software in (SWI-)Prolog. It uses the extension XPCE for GUI's and sockets. Would gladly see users to help developing.
-
11
-
12
-
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
PrologBOT is an IRC Bot coded entirely in Prolog, taking advantage of all the "wonders" of Logic Programming. It supports plugis in Prolog, and will have a small A.I. engine to enable it to handle some situations by itself.
-
15
PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.
-
16
-
17
Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
-
18
An implementation of a webserver written in the high level programming language Mercury (http://www.mercury.cs.mu.oz.au).
-
19
The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.
-
20
We have implemented a core summarizer of scientific articles written in Spanish, with the following components: a tokenizer, a grammar checker, a clarity checker, a cohesion-coherence checker, a common-topic extractor and an output formatter.
-
21
ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.
-
22
-
23
The RoboLog Soccer Library is a project to provide a library for RoboCup Simulation League clients. RoboLog can be used as an interface from Soccer Server to both C and Prolog.
-
24
The SLIE agent modelling software allows researchers in MAS (Multi-Agent Systems) to build simulations of MASes with a view to exploring design problems relating to scalability and robustness using techniques from ecology, biology and economics.
-
25
The Semantic Web Service Composer is a prototyp for semi-automatic data flow design between Semantic Web services described in different domain ontologies. More info: http://citeseer.ist.psu.edu/viewdoc/versions?doi=10.1.1.60.9276