XSB 3.4




Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process

XSB is a Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

Tabled resolution is useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. Users interested in Parsing, Program Analysis, Model-checking, Data Mining, Diagnosis and Temporal Reasoning may benefit from XSB.

It allows full Prolog functionality in tabled code including cuts, (subject to weak semantic restrictions), in meta-logical predicates, in second-order predicates, etc. Dynamic code may also be tabled.

It has a heap garbage collector that works for tabled (and Prolog) evaluation. After a table is abolished, a table garbage collector ensures that its space is properly reclaimed.

Operating system:
Windows XP / Vista / Vista 64 bit / 7 / 7 64 bit / 8 / 8 64 bit

Program specification:

SPONSORED LINKS

    Technical details:

  • Version: 3.4
  • File size: 11 MB
  • File name: download
  • Last update:
  • Platform: Windows XP / Vista / Vista 64 bit / 7 / 7 64 bit / 8 / 8 64 bit
  • License: Freeware
  • Company: XSB Development Team (View more)

Related Programs:

Appin Homtech course on Ethical Hacking& Network Security

Appin Homtech course on Ethical Hacking& Network Security 3.1

Learn to hack ethically
Price: $0, Rating: 9.39, Downloads: 396 Download
csFileDownload

csFileDownload 3.0

This ASP component enables file downloads to be controlled from within a script. It allows for password protection of individual files, and for record keeping. A built in access code generator is included. There are also some file utility functions.
Price: $35, Rating: 1, Downloads: 289 Download
TreeBase Generator

TreeBase Generator 1.0

With TreeBase Generator you will receive a MS Windows based application. It was tested on Win 98, ME and 2000. TreeBase Generator will create a new database for you and will also generate a complete w
Price: $ 79, Rating: 10, Downloads: 237 Download
ParetoLogic Privacy Controls

ParetoLogic Privacy Controls 2.0

Finds and erases confidential information.
Price: $ 29.95, Rating: 9, Downloads: 224 Download
QueryShark

QueryShark 3.0

QueryShark is an easy to use, agent-less tool to collect system information from your network of Windows based computers.
Price: $ 295, Rating: 10, Downloads: 173 Download

SPREAD THE WORD

User Rating


Rating: 4.4 out of 5
Based on 8 ratings. 8 user reviews.

  • Currently 4.38 out of 5
  • 1
  • 2
  • 3
  • 4
  • 5