Search Results for "gnu prolog" - Page 5
Sort By:
Showing 131 open source projects for "gnu prolog"
View related business solutions-
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Ignite is used to optimize the distribution of a given group of files whithin the smallest possible number medias (of any kind). Ignite is highly configurable and has a lot of options (using user-defined commands to burn the medias is only one of them).
-
2
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.
-
3
-
4
Migma intends to help teachers to get several different multiple-choice exams based on the users original. This command line program quickly generates a number of different new tests (and their respective answer sheets).
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.
-
6
HiTacWar Hierachical Tactical Warfare Game Engine which depends on freecnc. Main Points are KI Based Commando Structures, Electronic Warfare, Research and Shadow Structs and Shadow Armies.
-
7
Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.
-
8
A file-manager/desktop-environment which enables users to specify any kind of action in a uniform way, with an AI that helps you by hiding the useless options. It features a completely new user interaction paradigm called "reciprocal list narrowing".
-
9
STaPLe is a library for interconnecting VisualWorks Smalltalk and SWI-Prolog. The library will allow Smalltalk program\'s to evaluate Prolog logic queries, these queries in turn will be able to interact with the objects in the Smalltalk imag
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
-
11
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.
-
12
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).
-
13
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
14
The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.
-
15
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.
-
16
icx is a tool for 3D Diagrammatic Interaction (3DI). Via internet socket it gives a client application means of 3DI with a user. It also serves users as a 3D diagram editor. Prolog fact syntax helps it serve both Prolog and conventional applications.
-
17
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
-
18
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.
-
19
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.
-
20
bedevere provides a SWIG wrapper to the GNU Prolog compiler. Current emphasis is on Python support. Other languages supported by SWIG will likely be accepted as long as they do not interfere with Python support.
-
21
Leo is a project to provide an architecture for defining XML specifications of grammars for different natural language parsing systems and tools for using that architecture to permit sharing of grammar resources across different systems.
-
22
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.
-
23
-
24
Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
-
25
SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.
