SWI-Prolog

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Communi...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 12; no. 1-2; pp. 67 - 96
Main Authors:	WIELEMAKER, JAN, SCHRIJVERS, TOM, TRISKA, MARKUS, LAGER, TORBJÖRN
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.01.2012
Subjects:	Communities Computer Sciences Datavetenskap (datalogi) Glues Interactive Logic programming Programming Prolog Prolog (programming language) Regular Papers Prolog logic programming system
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!