|
|
|
|
|
|
by jadelcastillo
248 days ago
|
|
|
Interesting approach, but I guess still lot of work to be done.
I tried with this question: "Alice has 60 brothers and she also has 212 sisters. How many sisters does Alice's brother have?" But the generated program is not very useful: {
"sorts": [],
"functions": [],
"constants": {},
"variables": [
{"name": "num_brothers_of_alice", "sort": "IntSort"},
{"name": "num_sisters_of_alice", "sort": "IntSort"},
{"name": "sisters_of_alice_brother", "sort": "IntSort"}
],
"knowledge_base": [
"num_brothers_of_alice == 60",
"num_sisters_of_alice == 212",
"sisters_of_alice_brother == num_sisters_of_alice + 1"
],
"rules": [],
"verifications": [
{
"name": "Alice\'s brother has 213 sisters",
"constraint": "sisters_of_alice_brother == 213"
}
],
"actions": ["verify_conditions"]
} |
|
|