NDLI: The XSB Programmer's Manual Version 1.7.1

Please wait, while we are loading the content...

The XSB Programmer's Manual Version 1.7.1

Content Provider	Semantic Scholar
Author	Sagonas, Konstantinos F. Swift, Terrance Warren, David Scott Freire, Juliana Rao, Prasad Subba
Copyright Year	1994
Abstract	To date (Version 1.7.1), the core engine development of the SLG-WAM has been mainly implemented by Terrance Swift, Kostis Sagonas, Prasad Rao and Juliana Freire. The breakdown, roughly, was that Terrance Swift wrote the initial tabling engine, Prasad Rao wrote the trie-based table access routines, and Kostis Sagonas implemented most of tabled negation. Juliana Freire revised the table scheduling mechanism starting from Version 1.5.0 to create a more eecient engine, as well as adding local emulator, new to version 1.7. David Warren and Prasad Rao implemented the aggregate code. The auto table and suppl table directives were written by Kostis Sagonas. Memory management code and the command line execution interface were written by Ernie Johnson, Prasad Rao and Bart Demoen. Rui Marquez improved the trailing of the SLG-WAM. The safety check for tabling within the scope of cuts was written by Kate Dvortsova. Of other features in the system, Kostis Sagonas added HiLog compilation to XSB, along with the associated builtins. Steve Dawson implemented Uniication Factoring. wrote the mode analyzer for XSB. Harald Schroepfer helped the XSB group with the Solaris port, and Yiorgos Adamopou-los suggested the bits to use for the HP-700 series port. were responsible for the MkLinux and Solaris x86 ports. Thanks are also due to Weidong Chen for his early work on Prolog clause indexing and Richard O'Keefe, who contributed the Prolog code for the Prolog reader and the C code for the tokenizer.
File Format	PDF HTM / HTML
Alternate Webpage(s)	http://www.cs.wm.edu/psdocs/xsbmanual.ps.gz
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in