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/artifac ...

Im learning prolog and was having problems with the select/3 predicate so I made a test file for it. The entire code i'm trying to run is the followi ...

I have installed Mulval successfully. The problem is : I have not get the AttackGraph.pdf by using the coding "graph_gen.sh /root/data/mulval/testcase ...

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 lik ...

So I am trying to solve this Booth arrangement problem given here. It is basically a sliding tile puzzle where one (booth)tile has to reach a target s ...

I am trying to host XSB in a server. I wrote the following code: I am getting the following error Can someone please tell me what I doing wrong ...

I wanted to host XSB Prolog in a server. Can someone please tell me what the procedure is? The following git link explains how to host SWIPL on a serv ...

How can I simulate a soft cut I *-> T; E in ISO Prolog? I has side effects, so I can not call it multiple times. Except for the last requirement, ...

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 ...

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 e ...

I tried to run xsb on cygwin64 the $PATH how can I run xsb on cygwin? can you help me. ...

I have a string that I want to convert to a list: I need it in list format to pass it onto to a member rule. When I pass it onto the member rule di ...

whatever simple code , I am running in Xsb prolog using Eclipse IDE , It is showing me error like this: ++Error[XSB/Runtime/P]: [Existence (No proced ...

I need to get, from a keyboard input (list), a list without duplicates but without using the inbuild setof (or any other inbuild functions) in XSB pro ...

I am starting with Prolog programming using XSB. What syntax highlighting script or plugin for vim editor would you suggest for (XSB) Prolog ? ...

Are Hilog terms (i.e. compounds having as functors arbitrary terms) still regarded as a powerful feature in XSB Prolog (or any other Prolog) ? Are the ...

I am a novice at programming in prolog. I want to change the value returned by a prolog program such that it returns true / false instead of the stan ...

This is a program that should find out who is compatible with john. I am new to Prolog. In order to let Prolog know eg. met(X,Y) = met (Y,X) lots of c ...

The XSB documentation has a paragraph about a heap data structure library, in the manual volume 2 Section 1.16.5. But I can't find any sign of the lib ...

I'm trying an example from XSB Version 3.3.5 manual (from "Partial Order Answer Subsumption"): And I'm getting Any ideas what's wrong? Also, t ...