Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/abarbu/nondeterminism

Chicken egg for nondeterministic computations
https://github.com/abarbu/nondeterminism

Last synced: 25 days ago
JSON representation

Chicken egg for nondeterministic computations

Awesome Lists containing this project

README 

        
[[tags: egg data]]

[[toc:]]



This page is maintained in the package's

[[https://github.com/abarbu/nondeterminism|github repository]].



== Nondeterminism



This is a Chicken Scheme egg which implements nondeterministic

computation. Note that its results are deterministic, there are no

calls to rand(). Originally from Jeff Siskind's QobiScheme.



Examples are available in the ''examples/'' directory.



=== Generation



(a-boolean)

(an-integer-above i)

(an-integer-below i)

(an-integer)

(an-integer-between i j)

(a-member-of list)

(a-subset-of list)

(a-split-of list)

(a-permutation-of list)

(a-partition-of list)

(a-partition-of-size size list)



Generate a number of different kinds of elements.



(either a b)



Select either a or b, everything is built on top of this primitive.



(fail)



Backtrack at this point.



=== Execution



(for-effects . body)



Execute a nondeterministic computation only for its effects not its

result.



(all-values . body)



Execute a nondeterministic computation and produce a list of

all of its possible outputs.



(one-value . body

(local-one-value . body)



Execute a nondeterministic computation, return one output,

and discard the rest of the computation.



(possibly? . body)



Execute a nondeterministic computation and return #f if it always

fails.



(necessarily? . body)



Execute a nondeterministic computation and return #f if it can fail.



=== Side-effects



(unwind-trail)

(unwedge-trail)



Pop the stack once or clear it entirely.



(local-set! obj val)

(local-set-car! x y)

(local-set-cdr! x y)

(local-string-set! s i x)

(local-vector-set! v i x)



Perform operations with side-effects that will be undone when backtracking.



(upon-failure . body)



When backtracking execute ''body'', the above operations are implemented

in terms of this primitive.



=== Low-level features



*fail?*

(top-level-fail)

(set-fail! f)



Internal



=== Example



The following code is a rewrite of an example from the book "Teach

Yourself Scheme in Fixnum Days" by Dorai Sitaram. The book gives the

following problem setting:



The Kalotans are a tribe with a peculiar quirk. Their males always

tell the truth. Their females never make two consecutive true

statements, or two consecutive untrue statements.



An anthropologist (let's call him Worf) has begun to study them. Worf

does not yet know the Kalotan language. One day, he meets a Kalotan

(heterosexual) couple and their child Kibi. Worf asks Kibi: "Are you a

boy?" Kibi answers in Kalotan, which of course Worf doesn't

understand.



Worf turns to the parents (who know English) for explanation. One of

them says: "Kibi said: 'I am a boy.'" The other adds: "Kibi is a

girl. Kibi lied."



Solve for the sex of the parents and Kibi.



(define (solve-kalotan-puzzle)

 (define (xor a? b?) (if (and a? b?) #f (or a? b?)))

 (one-value

  (let ((parent1 (either 'male 'female))

        (parent2 (either 'male 'female))

        (kibi (either 'male 'female))

        (kibi-self-desc (either 'male 'female))

        (kibi-lied? (a-boolean)))

   (unless (not (eq? parent1 parent2)) (fail))

   (when kibi-lied?

    (unless (xor (and (eq? kibi-self-desc 'male)

                    (eq? kibi 'female))

                 (and (eq? kibi-self-desc 'female)

                    (eq? kibi 'male)))

     (fail)))

   (unless kibi-lied?

    (unless (xor (and (eq? kibi-self-desc 'male)

                    (eq? kibi 'male))

                 (and (eq? kibi-self-desc 'female)

                    (eq? kibi 'female)))

     (fail)))

   (when (eq? parent1 'male)

    (unless (and (eq? kibi-self-desc 'male)

               (xor (and (eq? kibi 'female)

                       (not kibi-lied?))

                    (and (eq? kibi 'male)

                       kibi-lied?)))

     (fail)))

   (when (eq? parent1 'female)

    (unless (and (eq? kibi 'female) 

               kibi-lied?)

     (fail)))

   (list parent1 parent2 kibi))))



=== License



   Copyright 1993-1995 University of Toronto. All rights reserved.

   Copyright 1996 Technion. All rights reserved.

   Copyright 1996 and 1997 University of Vermont. All rights reserved.

   Copyright 1997-2001 NEC Research Institute, Inc. All rights reserved.

   Copyright 2002-2013 Purdue University. All rights reserved.



   Contact Andrei Barbu at [email protected]. Originally written by Jeff Siskind.



   This program is free software: you can redistribute it and/or modify

   it under the terms of the GNU Lesser General Public License as published by

   the Free Software Foundation, either version 3 of the License, or

   (at your option) any later version.

   This program is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

   GNU Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License

   along with this program.  If not, see http://www.gnu.org/licenses.