Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Prolog > Symbolic evaluation > Flashcards

Symbolic evaluation Flashcards

1
Q

Explain why backtracking tends to be a problem for symbolic evaluation clauses

A

99

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

eval/2

A

100

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q 
How many times is eval(A,A) satisfied in the evaluation
of eval(plus(1,mult(4,5)),X)
A

101

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Plot the search tree for : eval(plus(1,mult(4,5)),X)

A

102-103

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Explain why making clauses orthogonal eliminates spurious solutions

A

104

How well did you know this?
1
Not at all
2
3
4
5
Perfectly

Prolog (15 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions