Search Results for "prolog" - Page 2
Sort By:
Showing 136 open source projects for "prolog"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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.
-
1
perkun2
experimental AI language for multiple agents
An experimental AI language. Attempts to maximize the expected value of the payoff function by appropriate choosing the actions (output variables values). It supports multiple agents performing the actions interchangeably. This project does not work properly. I leave it here only for reference. -
2
MotOrBAC
An OrBAC policy editor
MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model. -
3
A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
-
4
jDALMAS
A Java front-end to the dnrDALMAS Prolog Module.
A Java front-end to the dnrDALMAS Prolog Module, as described in the following paper: Hjelmblom, M., & Odelstad, J. (2009). jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. In A. Håkansson, N. Nguyen, R. Hartung, R. Howlett, & L. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications (Vol. 5559, pp. 110–119). Berlin / Heidelberg: Springer. http://urn.kb.se/resolve? -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
dnrDALMAS
A general-level Prolog implementation of the DALMAS architecture.
DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). -
6
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.
-
7
CIOS Audio Core
A cross platform audio inteface
CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7. -
8
Yes, finally. The author decide to schedule some of his busy time to release the "Chinese Language Formula"- Step By Step. It will take a while, but eventually Chinese Language Processing is no longer a problem.
-
9
droite is a correction of eS expression parsers implemented in many different programming languages. Its usefulness is the same as JSON but droite utilizes eS expression, a Gauche scheme interpreter friendly S expression variant.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
The uranium is a system for test automation. It uses a prolog language for high-level modelling of business process in software and system of drivers which allows use any channel for manage the program (web, db connection etc).
-
11
-
12
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. -
13
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
14
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
15
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
16
-
17
-
18
bridgeandtorch
517 Yapay Zeka dersi için (Engin Y.)
“Bridge and torch” probleminin yapay zeka ile çözümünü yapan Java/C#/C/Prolog Programını yazınız (30). BFS, DFS, A* veya diğer bir yöntemi (constructive/iterative) tercih edebilirsiniz. -
19
tuProlog is a light-weight Prolog system featuring seamless bi-directional integration with Java and .NET. Please visit the tuProlog home site for further information.
-
20
-
21
jWAM
A 100% Java Warren Abstract Machine implementation.
...As far as I know this is the only open source Java based implementation out there that does not simplify Warren's design. I have done some comparison's with other Java based Prolog engine's and jWAM does seem to outperform them all quite well (tuProlog, JLog, JIP, jTrolog). However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting... -
22
2OPL
2OPL is a norm programming language for agent organizations.
...Norms describe which environment states counts as violations. 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. -
23
pyIRDG
IMDb Relational Dataset Generator
pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. -
24
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
25
OMF - Object Modeling Framework
A java modeling framework based on frame-slot-facet Minksy's theory
TODO
