An algorithm for optimal back-striding in Prolog

Malhotra, V (1990) An algorithm for optimal back-striding in Prolog. In: International conference on Logic Programming (ICLP), 1990, June 18-20, 1990, Jerusalem, Isreal.

Preview

PDF - Requires a PDF viewer
8Mb

Official URL: http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp90.html

Abstract

An intelligent backtracking algorithm to prune the search space over which a Prolog interpreter searches a solution is given.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	ISBN 0-262-73090-1
Keywords:	Prolog, Logic programming, Intelligent backtracking,
ID Code:	159
Deposited By:	CADA Librarian
Deposited On:	10 Mar 2005
Last Modified:	18 Jul 2008 19:38
ePrint Statistics:	View statistics for this ePrint

Repository Staff Only: item control page