Amanote Research

Amanote Research

    RegisterSign In

A Tabled Prolog Program for Solving Sokoban

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-849
Full Text
Open PDF
Abstract

Available in full text

Categories
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
Date

January 1, 2013

Authors
Neng-Fa ZhouAgostino Dovier
Publisher

IOS Press


Related search

A Tabled Prolog Program for Solving Sokoban

2011English

Implementation of A* Algorithm for Solving Sokoban Logic Games

Journal of Applied Intelligent System
2020English

Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs

2014English

Prolog

Reihe Rechtswissenschaft
2001English

A Program for Solving Systems of Homogeneous Linear Inequalities

Computer Physics Communications
HardwareAstronomyPhysicsArchitecture
1979English

A Partial Breadth-First Execution Model for Prolog

English

Expert Problem Solving Strategies for Program Comprehension

1991English

Prolog

2019English

Listlog — A PROLOG Extension for List Processing

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy