Search Results for "prolog software"
Sort By:
Showing 62 open source projects for "prolog software"
View related business solutions-
Workspace management made easy, fast and affordable.The way we work has changed and Clearooms puts you in complete control of your hybrid workspace. Both meeting rooms and hot desk booking can be easily managed to ensure flexible and safe working, however big or small your organisation.
-
The most trusted software in constructionHCSS provides easy-to-use software built for construction companies that want to win more work, work smarter, and boost profits. For nearly 40 years, we've helped heavy civil contractors, infrastructure builders, and utility companies improve operations, from estimating and project management to field tracking, equipment maintenance, and safety. Tools like HeavyBid, HeavyJob, and HCSS Safety are built for the field and designed to work together, giving your team real-time visibility, tighter cost control, and better job outcomes. With 45+ accounting integrations and customizable APIs, HCSS fits seamlessly into your tech stack. We regularly update our software based on feedback from real crews, ensuring it fits the way your team works. Backed by award-winning 24/7/365 support and a proven implementation process, HCSS helps reduce risk, cut inefficiencies, and deliver fast ROI. If you're ready to grow your business and gain a competitive edge, HCSS is the partner that gets you there.
-
1
Chroma
A general purpose syntax highlighter in pure Go
As Chroma has just been released, its API is still in flux. That said, the high-level interface should not change significantly. Chroma takes source code and other structured text and converts it into syntax-highlighted HTML, ANSI-coloured text, etc. Chroma is based heavily on Pygments and includes translators for Pygments lexers and styles. ABAP, ABNF, ActionScript, ActionScript 3, Ada, Angular2, ANTLR, ApacheConf, APL, AppleScript, Arduino, Awk. PacmanConf, Perl, PHP, PHTML, Pig,... -
2
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if... -
3
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. -
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. -
Planfix: Manage Projects, Team's Tasks and Business ProcessesPlanfix is like a souped-up business process management system for folks who really know their stuff. It's built to help you dive deeper and gives you more options than your run-of-the-mill project and task management systems. Best part? Even small businesses and non-profits can get in on the action.
-
5
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
6
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
7
Linguistic Tree Constructor
Syntax tree editor for rapid annotation of existing text
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format. -
8
illness index
illness_index A Computer Program of a Medical Textbook.
A computer scientist has attempted to program a textbook of British general practice (primary care) medicine, that is, Hodgkin K (1978) "Towards Earlier Diagnosis....", 4th Edition, Churchill Livingstone. If a patient types presenting findings (such as headache, cough), the program prompts the user for expansion/denial of appropriate findings, in order to construct a list of patient findings. The program also calculates a list of likely diseases, which the user can use the web to find out... -
9
NKTgLaw
Core library & API for the NKTg Law (Nguyen Khanh Tung). Includes core
Core library & API for the NKTg Law (Nguyen Khanh Tung). Includes core implementation, REST/gRPC API, and 150+ client wrappers -
Parasoft: Automated Testing to Deliver Superior Quality SoftwareParasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives—security, safety-critical, Agile, DevOps, and continuous testing.
-
10
weed
Heavily Xchat inspired beautiful irssi theme
weed is a visually appealing theme for the irssi IRC client, inspired by XChat. It offers a modern and customizable interface, enhancing the user experience for irssi users who prefer a more aesthetic layout. -
11
s(ASP)
Implements the stable model semantics without grounding.
s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable... -
12
FRDCSA
Formalized Research Database: Cluster, Study and Apply
We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people. ... -
13
faish
An implementation of the Squl declarative programming language.
Faish is an implementation of the Squl programming language, a variant of Prolog which is intended for use in artificial intelligence. Faish is written using VisualWorks Smalltalk, http://www.cincomsmalltalk.com/. -
14
Embed Prolog directly in your Python, C# or Javascript program using the yield keyword. There is no API standing between your code and Yield Prolog, so you can use all language features, including arrays, file I/O, user interaction and your own classes.
-
15
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.
-
16
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).
-
17
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
18
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.
-
19
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
20
-
21
jWAM
A 100% Java Warren Abstract Machine implementation.
jWAM is a 100% Java Warren Abstract Machine implementation. Currently it is still under development though all the basic functionalities (compiling, resolution) are working. 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... -
22
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. Three types of constraints on attributes are available to limit... -
23
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
24
TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination
-
25
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
