Search Results for "prolog" - Page 3
Sort By:
Showing 136 open source projects for "prolog"
View related business solutions-
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
A program for word-by-word translation (glossing) of texts between languages. Currently there is a web interface for glossing passages in Tolkien's Elvish (specifically, Quenya) into English.
-
2
This project aims to be a easy-to-use toolkit of algorithms and utilities for semantic data mining. So far all algorithms are implemented as web services and we provide widgets for their use in the Orange4WS data mining platform.
-
3
TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination
-
4
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.
-
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.
-
5
XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.
-
6
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.
-
7
Stream-oriented Java library and a set of command line tools for high quality sentence boundary detection. (Sentence segmentation / splitting / disambiguation). Currently has one model for German (trained on general text and Wikipedia lynx dumps).
-
8
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.
-
9
A Simulation based on SWI Prolog
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
Prodox provide a basic library to provide doxygen comments in a Prolog language file. With dedicated predicate (doxygen), user can comment Prolog files in doxygen format and generate a file ready to be used as input by doxygen.
-
11
CompoGrammar is a tool for composing antlr grammars. It is an academic tool and actively maintained.
-
12
ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog
-
13
Working and tested Implementation of a Prolog Interpreter in Java. Could be used to explain students how things work for this very nice AI language and the ideas behind it. Covers the core of Prolog, not al the optimizations, syntax sugering, etc.
-
14
Some tools related to the Music Ontology - including domain-specific Semantic Web crawlers, audio collection management and mapping tools
-
15
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.
-
16
CPViz is an open-source visualization toolkit for finite domain constraint programming. It provides visualization for search trees, variables and global constraints through a post-mortem analysis of trace logs.
-
17
Ontological Logic Programming, shortly OLP, is a novel combination of ontological reasoning and logic programming. It enables Prolog programs to dynamically import ontologies and transperantly use the terms from these ontologies.
-
18
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.
-
19
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
-
20
PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.
-
21
Yo Ho Ho And A Bottle Of Rum - Fifteen men on a dead man's chest. This is a project for solving a sudoku with the help of Prolog programming language. The program will be able not to only solve a defined sudoku but enumerate all available in a dimension
-
22
Computer Security Model Implementations for Computer Science Graduate Students and Researchers. Implementations include the Take-Grant Protection System and a Self-Organized Critical (SOC) Lattice Model for malware behavior.
-
23
MARGO (Multiattribute ARGumentation framework for Opinion explanation), written in Prolog, is the engine developed in the ArguGRID project for decision making.
-
24
A modular language generator based on the theory of Functional Grammar (FG) by Simon C. Dik. Implemented using Java for the user interface, ANTLR for the input format parser and Prolog for the grammar and lexicon module, treating underlying linguistic st
-
25
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
