nemo
nemo copied to clipboard
Constants dont produce facts when passed through the body
The first example produces 1 fact, while the second example produces not facts, which is unexpected.
HeapAllocation_Type("<<main method array>>", "java.lang.String[]").
HeapAllocation_Type(?heap, ?type) :-
?heap = "<<main method array>>",
?type = "java.lang.String[]".