Stack Overflow
Stack Overflow

Questions tagged [xsb]

XSB is a Prolog dialect developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.

XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming).

The open source XSB implementation includes an interface to the Java programming language.

XSB was originally developed at Stony Brook University by David S. Warren, Terrance Swift, and Kostis Sagonas. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986. It is a logic programming language.

Syntax

XSB supports several standard programming language data types such as Integers, Floating Point numbers, and Atoms.

Integers in XSB can be interpreted in multiple bases. By default integers are interpreted in base 10 but can be interpreted in a range of bases from 2 to 36.

Atoms are similar to Strings. They are a sequence of characters.

Source:http://en.wikipedia.org/wiki/XSB

35 questions
1
vote
0 answers

use_module in XSB Prolog

I am porting http libraries from SWI Prolog to XSB Prolog. I have to port the following statement: use_module(library(settings)). to XSB. Can someone please tell me how to do this. I understand that porting is not trivial. I need to use…
UnderWood
  • 803
  • 3
  • 12
  • 23
1
vote
1 answer

Error[XSB/Runtime/P]: [Type (library(http / thread_httpd) in place of atom)]

I am trying to host XSB in a server. I wrote the following code: :- module(server, [server/0, server/1]). :- import http_server/2 from library(http/thread_httpd). :- import http_dispatch/1 from library(http/http_dispatch). :- use_module(swish,…
UnderWood
  • 803
  • 3
  • 12
  • 23
1
vote
1 answer

xsb "No procedure usermod" when predicate is already defined

So in my file I have :- use_module(standard, datime/1). today(Y, M, D) :- datime(datime(Y, M, D, _, _, _). Running this directly in the command line gives XSB Version 3.6. (Gazpatcho) of April 22, 2015 [x86-pc-windows; mode: optimal; engine:…
absolutelydevastated
  • 1,657
  • 1
  • 11
  • 28
1
vote
0 answers

Sub-queries using XSB Prolog's C API (embedded)

I have a program (C++) that embeds XSB Prolog to use as a constraint solver. I have already written code using the low-level C API to inject facts and run queries. But I am getting stuck on a particular side-problem. I would like to (for debugging…
md5i
  • 3,018
  • 1
  • 18
  • 32
1
vote
2 answers

XSB Prolog meta-interpreter issue with clpr constraints

I am running XSB Prolog on my Mac (El Capitan 10.11.2): XSB Version 3.6. (Gazpatcho) of April 22, 2015 [i386-apple-darwin15.2.0 64 bits; mode: optimal; engine: slg-wam; scheduling: local] [Build date: 2016-01-17] I am using the clpr package and want…
Vijay Saraswat
  • 41
  • 3
1
vote
1 answer

How can I Run XSB on Cygwin?

I tried to run xsb on cygwin64 $ xsb -bash: xsb: command not found the $PATH $ echo $PATH /usr/local/bin:/usr/bin: /cygdrive/C:/Program Files/Java/jdk1.8.0_65:/cygdrive/c/Program…
Romee
  • 81
  • 1
  • 1
  • 5
1
vote
0 answers

Eclipse XSB InterProlog Setup

I'm trying to set up InterProlog in eclipse. My path variable already has the path to jdk1.7 and I already have xsb installed. I attached interprolog.jar as an external jar, added the xsb to my path variable…
mbuff24
  • 425
  • 4
  • 14
0
votes
2 answers

XSB Prolog partial order tabling

I'm trying an example from XSB Version 3.3.5 manual (from "Partial Order Answer Subsumption"): :- table sp(_,_,po(
Sergii Dymchenko
  • 6,890
  • 1
  • 21
  • 46
0
votes
0 answers

XSB not reading all rules

I am trying to load some rules in XSB in order to query. My rule file consists of some facts extracted from ontology after translation and some reasoning mentioned below. The problem is xsb read the facts but does not use the given rules that were…
fairyjee
  • 75
  • 1
  • 5
0
votes
0 answers

QT + XSB prolog: "read access violation at 0x0"

I want to use XSB prolog in QT application. I wrote: #include #include "mainwindow.h" #include "cinterf.h" int main(int argc, char *argv[]) { /* Initialize xsb */ xsb_init_string((char*)("c:/Program Files (x86)/XSB…
Иван Коданев
  • 17
  • 5
0
votes
1 answer

How to read file xsb XML Schema Binary File

How to read file xsb XML Schema Binary File. I extract file xmlbeans-3.0.1.jar and see many binary file *.xsb inside. https://jar-download.com/artifacts/org.apache.xmlbeans/xmlbeans/3.0.1 I'm curious about what data is inside file *.xsb? And How to…
elf01b
  • 64
  • 5
0
votes
0 answers

XSB Runtime errors - MulVal

I'm trying to convert an Nessus scan xml file to MulVal input using a given conversion script and get the following runtime errors: Error[XSB/Runtime/P]: [Permission (Operation) redefine on imported predicate: lists : member / 2] in…
qz_99
  • 185
  • 1
  • 12
0
votes
1 answer

Replace first K occurrences of 1 with any number say 8 in a list in Prolog

Replace the first K occurrences of a number with any other number. Considering 1 to be replaced by 8 in here. This is how my predicate would look like replace_first_k(3,[1,2,3,1,1,5,6,1,7],X). It should give the following output - E =…
Dipesh Desai
  • 104
  • 1
  • 12
0
votes
1 answer

Where to find the SWI-Prolog Library Source Code

I am trying to port some of the libraries from SWI-Prolog to XSB-Prolog. Where can I find the source code of these libraries? Lets say that I want to port the url library. Where can I find the Prolog source code for the same. I already took a look…
UnderWood
  • 803
  • 3
  • 12
  • 23
0
votes
2 answers

Mulval: installation setup

I am trying to install mulval on my machine following this doc: http://people.cis.ksu.edu/~xou/argus/software/mulval/readme.html However, I am not exactly sure how to make changes to the path of XSB, dot and Mulval. I get the following error when I…
Aditya Gnaneshwar
  • 93
  • 3
  • 13
1
2
3