Library Open Repository

An algorithm for optimal back-striding in Prolog

Downloads

Downloads per month over past year

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.

[img]
Preview
PDF
iclp.pdf | Download (8MB)
Available under University of Tasmania Standard License.

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)
Keywords: Prolog, Logic programming, Intelligent backtracking,
Page Range: pp. 147-158
Additional Information: ISBN 0-262-73090-1
Date Deposited: 10 Mar 2005
Last Modified: 18 Nov 2014 03:10
URI: http://eprints.utas.edu.au/id/eprint/159
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page