Module mace

source code

Classes

[hide private]

MaceCommand
A MaceCommand specific to the Mace model builder.

Mace

Functions

[hide private]

spacer(num=30)

source code

decode_result(found)
Decode the result of model_found()

source code

test_model_found(arguments)
Try some proofs and exhibit the results.

source code

test_build_model(arguments)
Try to build a nltk.sem.Valuation.

source code

test_transform_output(argument_pair)
Transform the model into various Mace4 interpformat formats. source code

test_make_relation_set()

source code

demo()

source code

Variables

[hide private]

arguments = [('mortal(Socrates)', ['all x.(man(x) -> mortal(x)...

APP = 'APP'

Function Details

[hide private]

decode_result(found)

source code

Decode the result of model_found()

Parameters:

found (boolean) - The output of model_found()

Variables Details

[hide private]

arguments

Value:

[('mortal(Socrates)',
  ['all x.(man(x) -> mortal(x))', 'man(Socrates)']),
 ('(not mortal(Socrates))',
  ['all x.(man(x) -> mortal(x))', 'man(Socrates)'])]