Definite Clause Deduction 4.2.8

AIspace in Education \ Science

Every representation and reasoning system needs a proof procedure in order to be complete. The purpose of this tool is to illustrate how the process of answer extraction within a knowledge base can be cast as a search problem. The deduction tool uses a language similar to Prolog and demonstrates its goal solving procedures.


   
 
Related Software

UltraFileSearch Lite Portable 5.3.0.18323 Stegisoft  File & Disk Management

Ultra File Search is a Search Utility which is able to quickly find Files, Folders and Text on your Local, Network, DVD, CD-ROM, USB Hard or Flash Drives. UltraFileSearch allows you to specify several File Names and multiple Drives and/or Folders at the same time; it is able to sort out Files and...

UltraFileSearch Std 5.3.0.18323 Stegisoft  File & Disk Management

Ultra File Search is a Search Utility which is able to quickly find Files, Folders and Text on your Local, Network, DVD, CD-ROM, USB Hard or Flash Drives. UltraFileSearch allows you to specify several File Names and multiple Drives and/or Folders at the same time; it is able to sort out Files and...

UltraFileSearch Lite 5.3.0.18323 Stegisoft  File & Disk Management

Ultra File Search is a Search Utility which is able to quickly find Files, Folders and Text on your Local, Network, DVD, CD-ROM, USB Hard or Flash Drives. UltraFileSearch allows you to specify several File Names and multiple Drives and/or Folders at the same time; it is able to sort out Files and...

mysys 2.0 IntegriTech Inc.  File & Disk Management

A Window into your System! Do you have alot of files? Do you spend too much time navigating hundreds of folders? Do you sometimes forget where a file is? mysys will be your new home away from all the pesky folders! News Flash: Version 2 now reads the file tables directly dramatically...

ProgramEdit 4.7.5 SimpleSolver Logic  HTML Editors

ProgramEdit (PgmEdit) is a free Windows source code editor and ASCII text editor. It includes the most important functions found in professional editors, and has many unique capabilities. PgmEdit is especially designed to be both powerful and very Easy to Use. Because ProgramEdit is built...

Desktop.Tech 0.9.0 Micro Formatica  FTP

Desktop.Tech is the Swiss army knife of desktop applications! Upload and download from FTP, SSH/SCP and Amazon S3 servers. In the future more protocols will be added! You can explore your harddrive with the internal Windows Explorer replacement. Search your harddrive with an lightning fast...

CPU Cooling Master - Laptop Cooler 1.6.8.8 7thShare Studio  Misc. Utils.

7thShare CPU Cooling Master - Laptop Cooler is an easy to use internal cooling system for laptop, which has the capable of monitoring the system temperature and keeping your laptop cool. Laptop Cooling System helps you stay on top of your systems vital statistics including speed, fan,...

CleanMyMac X 4.0.0 MacPaw Inc.  Optimizers & Diagnostics

Clean, optimize, and maintain your Mac with CleanMyMac X. Check out all its tools: Smart Scan: Combines the functionality of 7 essential modules and triggers Cleanup, Protection, and Speedup scanners. System Junk: Removes caches, logs, localizations, and more to improve the performance of your...

UltraFileSearch Std Portable 5.2.0.18183 Stegisoft  File & Disk Management

Ultra File Search is a Search Utility which is able to quickly find Files, Folders and Text on your Local, Network, DVD, CD-ROM, USB Hard or Flash Drives. UltraFileSearch allows you to specify several File Names and multiple Drives and/or Folders at the same time; it is able to sort out Files and...

Multi-Search Tool 1.0 Microsys Com Ltd.  Search Tools

Text searches have never been so easy and so fast! This lightweight utility launches simultaneously three of the most important search engines to date, Google, Bing and Yahoo, in order to look up your words and phrases. The returned data are shortly displayed in three separate windows on the...