Search Results for "swi prolog editor"

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.

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.

Wumpus World Game is based on knowledgebase agents and is described in the book , Artificial Intelligence : A Modern Approach (Russel - Norvig). This is an implementation of Wumpus World (a Knowledgebase agent game) using csharp alongside prolog with a GUI. C# has the main environment of the game and the GUI The GUI was created using WPF , Windows Presentation Foundation Prolog is used as the knowledgebase of the agent of Wumpus World In order for C# to communicate with Prolog a Csharp interface is used SWI-Prolog. Author: Abdulrahman Zakrt Date: Jan.02, 2018 Requirements This implementation of Wumpus World uses prolog and is based on Dotnet and requires the following: 64 bit windows machine , Currently the game only supports 64 bit machines SWIPL(v6.6.6) 64 bit (Installed automatically by the game if not available) Latest Version of DotNet (Installed automatically by windows) How to Use In order to use the GUI only you can use the setup.exe in the SetupFiles.

... - Unity3D ( Unity3D WebPlayer Integrated With Simple Project ) . - Cropper Tool . - Translation ( Text / Voice / Online ) English , Arabic , Many Languages .. - File Compression ( *.CHIPackage ) . - Diagram Editor . - Artificial Intelligence ( Prolog Interpreters ) . - Alarm ( Text / Voice ) . - Security ( Screen Locker ) . - Quick Note . - Math And Polynomial Calculators . - And More ....

Traverse is a tool set that allows users to check the conformance between archtecitural behavioral scenarios and the implementation. Further documentation about the tool is avaliable on the papers section. Traverse depends on: Eclipse, Eclipse EMF, SWI-Prolog, and JGraphX. SWI-Prolog is not distributed with Traverse, you need to download it from http://www.swi-prolog.org/Download.html . JGraphX is distributed with the project, Please refer to JGraphX license terms from Traverse/lib/JGrapxLicense.txt or from http://www.jgraph.com/jgraphdownload.html

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.

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.

A (very) small library offering access to the SWI-Prolog implementation of Constraint Handling Rules through Java via the JPL: For more information see http://www.swi-prolog.org/ and http://www.cs.kuleuven.be/~dtai/projects/CHR/

PHP and SWI-Prolog integration

A Simulation based on SWI Prolog

The TNCES Workbench enables you to calculate and analyse the reachability and dynamic graph, to draw trajectories and to translate IEC 61499 FBs into discrete timed Net Condtion/Event Systems

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

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.

a framework for information extraction and a graphical annotation editor written in SWI-Prolog.

JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.

This project implements calculations for Canadian tax returns as a set of Prolog facts and rules. Initial implementation is in SWI-Prolog on Linux; should also work with other Prolog implementations such as GNU Prolog, across any supported platform.

This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots

SWI-Prolog interface to ImageMagick graphics processing library

PWIG is a SWIG extension that allows new language modules to be developed on Python. Includes a PWIG wrapper generator for SWI-Prolog and Logtalk.

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

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).

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.

A Python extension embedding SWI-Prolog.

TCOB is a constrained-object programming language, a temporal extension of the constrained-object language COB. This document contains instructions to create and run TCOB programs in Swi-prolog environment. In this implementation, we show how modeling neural and microcircuit network dynamics can be achieved using TCOB. Developed by Manjusha Nair, Jinesh Manchan Kannimoola, Shyam Diwakar Amrita Vishwa Vidyapeetham (University), Kollam, Kerala, India. and by Bharat Jayaraman State University at Buffalo, NY, USA. Last updated 26-February-2018 More details will be made available. ...