Index

A

ArgumentTypeError

asserta() (pyswip.prolog.Prolog class method) assertz() (pyswip.prolog.Prolog class method)

C

call() (in module pyswip.easy)

consult() (pyswip.prolog.Prolog class method)

D

dynamic() (pyswip.prolog.Prolog class method)

F

from_text() (pyswip.examples.sudoku.Matrix class method)

G

getAtom() (in module pyswip.easy) getAtomChars() (in module pyswip.easy) getBool() (in module pyswip.easy) getDict() (in module pyswip.easy) getFloat() (in module pyswip.easy)

getFunctor() (in module pyswip.easy) getInteger() (in module pyswip.easy) getList() (in module pyswip.easy) getLong() (in module pyswip.easy) getString() (in module pyswip.easy)

I

InvalidTypeError

M

Matrix (class in pyswip.examples.sudoku) module pyswip.easy pyswip.examples pyswip.examples.coins pyswip.examples.hanoi pyswip.examples.sudoku pyswip.prolog

module() (in module pyswip.easy)

N

NestedQueryError

newModule() (in module pyswip.easy)

P

pretty_print() (pyswip.examples.sudoku.Matrix method) Prolog (class in pyswip.prolog) prolog_source() (in module pyswip.examples.coins) (in module pyswip.examples.hanoi) (in module pyswip.examples.sudoku) PrologError pyswip.easy module pyswip.examples module

pyswip.examples.coins module pyswip.examples.hanoi module pyswip.examples.sudoku module pyswip.prolog module

Q

query() (pyswip.prolog.Prolog class method)

R

register_foreign() (pyswip.prolog.Prolog class method) registerForeign() (in module pyswip.easy)

retract() (pyswip.prolog.Prolog class method) retractall() (pyswip.prolog.Prolog class method)

S

sample_puzzle() (in module pyswip.examples.sudoku) solve() (in module pyswip.examples.coins) (in module pyswip.examples.hanoi) (in module pyswip.examples.sudoku)