XSB - XSB

XSB je název dialektu Prolog programovací jazyk a jeho implementace vyvinuta na Univerzita Stony Brook ve spolupráci s Katholieke Universiteit Lovaň, Nová univerzita v Lisabonu, Univerzita v Uppsale a prodejce softwaru XSB, Inc.

XSB rozšiřuje Prolog o předloženo rozlišení a HiLog (standardní rozšíření Prologu umožňuje omezené logické programování vyššího řádu ).

The otevřený zdroj Implementace XSB zahrnuje rozhraní do Programovací jazyk Java.

Dějiny

XSB původně vyvinuli na Stony Brook University David S. Warren, Terrance Swift a Kostis Sagonas. Byl založen na jazyce SB-Prolog, který byl také vyvinut na Stony Brook University v roce 1986.^[1][2] Je to logický programovací jazyk.

Syntax

XSB podporuje několik standardů programovací jazyk typy dat jako Celá čísla, Plovoucí bod čísla a Atomy.

Celá čísla v XSB lze interpretovat na více základnách. Ve výchozím nastavení jsou celá čísla interpretována v základna 10 ale lze je interpretovat v rozsahu základny z 2 na 36.^[3]

Atomy jsou podobné Struny. Jedná se o posloupnost znaků.

externí odkazy

• XSB
• Technické shrnutí XSB
• Programování v tabulkovém prologu: návrh knihy o programování XSB od David S. Warren univerzity Stony Brook
• Příručka programátora systému XSB podle Terrance Swift, David S. Warren a další
• Informace o Prologu Stony Brook

Reference

1. T. Swift a D.S. Warren (2011), XSB: Rozšíření síly Prologu pomocí Tablingu. Teorie a praxe logického programování (TPLP), Cambridge University Press, 2011.
2. K. Sagonas a T. Swift a D.S. Warren (1994), XSB jako efektivní dedukční databázový stroj. Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1994.
3. T. Swift a D.S. Warren (1995), Abstraktní stroj pro rozlišení SLG: Určité programy. Proceedings of the Symposium on Logic Programming, 1995.

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.