Topic: swi-prolog Goto Github
Some thing interesting about swi-prolog
Some thing interesting about swi-prolog
swi-prolog,A Wumpus World in c# and prolog with a GUI
User: abdulzakrt
swi-prolog,A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
User: anniepoo
swi-prolog,Parser for Attempto Controlled English (ACE)
Organization: attempto
Home Page: http://attempto.ifi.uzh.ch/ape/
swi-prolog,:water_buffalo::deciduous_tree: English is fun
User: averykatko
swi-prolog,Ejercicios y apuntes de Ingeniería del Conocimiento (Universidad de Valladolid) de 2019-20
User: bayons
swi-prolog,Blogging/CMS framework for SWI-Prolog.
Organization: blog-core
swi-prolog,Wumpus Implementation in Prolog Language
Organization: brilacasck
swi-prolog,logic programming with SPARQL
User: cmungall
Home Page: http://www.swi-prolog.org/pack/list?p=sparqlprog
swi-prolog,IRC Bot Written in Prolog
User: eazar001
swi-prolog,Debug Adapter Protocol (DAP) implementation for SWI-Prolog
User: eshelyaron
swi-prolog,GNU-Make-like utility for managing builds and complex workflows
Organization: evoldoers
swi-prolog,A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
User: fnogatz
swi-prolog,Translate XML Schema into equivalent JSON Schema
User: fnogatz
swi-prolog,Call Julia code from Prolog
User: haldai
swi-prolog,Symbolic computer vision tool
User: haldai
swi-prolog,An SMT-LIB parser in Prolog
User: jariazavalverde
Home Page: http://jariaza.es/swipl/smtlib
swi-prolog,A terse declarative logic programming language
User: jcumin
swi-prolog,An interpreter capable of executing a simple scripting language from a plain-text file
User: jdswalker
swi-prolog,OWL verbalizer: making machine-readable knowledge also human-readable
User: kaljurand
Home Page: http://attempto.ifi.uzh.ch/site/docs/owl_to_ace.html
swi-prolog,Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Organization: logicmoo
swi-prolog,SWI-Prolog plugin for the asdf version manager
User: mracos
swi-prolog,SWI-Prolog Tutorial
User: muhammadsulaiman001
swi-prolog,Randomized testing for Prolog à la QuickCheck
User: nicoabie
swi-prolog,What Should I Watch Next? Expert System built using Python/Flask and Prolog.
User: nirantak
swi-prolog,:crossed_swords: Game of Thrones character database and family trees in Prolog
User: rachelwiles
swi-prolog,Grail is a theorem prover for multimodal type-logical grammars
User: richardmoot
Home Page: http://www.labri.fr/perso/moot/grail3.html
swi-prolog,LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
User: richardmoot
swi-prolog,An alternative HTTP router/dispatcher for SWI-Prolog.
User: rla
swi-prolog,Dict validation/conversion for SWI-Prolog.
User: rla
swi-prolog,Document-oriented in-memory database for Prolog.
User: rla
swi-prolog,A Node.js interface to the SWI-Prolog communicating over stdio.
User: rla
swi-prolog,Markdown parser for SWI-Prolog.
User: rla
swi-prolog,Simple Prolog to JS transpiler
User: rla
swi-prolog,Virtual DOM implementation for SWI-Prolog
User: rla
swi-prolog,Text templating processor for SWI-Prolog.
User: rla
swi-prolog,Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
Organization: roboticslab-cseiitg
swi-prolog,SWI-Prolog Main development repository
Organization: swi-prolog
Home Page: http://www.swi-prolog.org
swi-prolog,Run SWI-Prolog in your browser using WebAssemply
Organization: swi-prolog
swi-prolog,N-Queens puzzle built with react and SWI Pengines.
User: tasos14
Home Page: https://n-queens.com/
swi-prolog,Prolog HTTPS Servers
User: triska
Home Page: https://www.metalevel.at/letswicrypt/
swi-prolog,Prolog Reverse Proxy
User: triska
Home Page: https://www.metalevel.at/proloxy/
swi-prolog,SWI-Prolog Logical Programming Languages
User: vanhakobyan
swi-prolog,a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
User: wenkokke
swi-prolog,A library for visualizing graphs in Prolog.
User: wouterbeek
swi-prolog,A collection of Prolog libraries.
User: wouterbeek
swi-prolog,Advanced support for working with RDF in Prolog.
User: wouterbeek
swi-prolog,A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
User: xachap
swi-prolog,PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
User: yuce
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.