#13 seg fault in Yap 4.5.6 and Yap-4.4.4
run the attached file:
dm@localhost ~ $ yap -L yap-bug.pl
prove_this
PTTP input formulas:
1
rdf(_133,_134,_135);not_rdf(_140,owl_inverseOf,_134);not_rdf(_135,_140,_133).
2
rdf(_133,_140,_135);not_rdf(_140,owl_inverseOf,_134);not_rdf(_135,_134,_133).
3 rdf(_134,owl_inverseOf,_140);rdf(sk1
(_140,_134),_134,sk2(_140,_134));rdf(sk4
(_140,_134),_140,sk3(_140,_134)).
4 rdf(_134,owl_inverseOf,_140);rdf(sk1
(_140,_134),_134,sk2(_140,_134));not_rdf(sk3
(_140,_134),_134,sk4(_140,_134)).
5 rdf(_134,owl_inverseOf,_140);rdf(sk4
(_140,_134),_140,sk3(_140,_134));not_rdf(sk2
(_140,_134),_140,sk1(_140,_134)).
6 rdf(_134,owl_inverseOf,_140);not_rdf(sk2
(_140,_134),_140,sk1(_140,_134));not_rdf(sk3
(_140,_134),_134,sk4(_140,_134)).
7 not_rdf(owl_inverseOf,owl_inverseOf,owl_inverseOf).
8 query:-rdf(owl_inverseOf,owl_inverseOf,owl_inverseOf).
PTTP to Prolog translation time: 0.001 seconds
Prolog compilation time: 0.009 seconds
search for cost 24 proof... % Fatal YAP Error: likely bug in YAP,
segmentation violation exiting....
dm@localhost ~ $
Logged In: YES
user_id=291320
I have submitted another version of this bug
that has the attacment. so look there
The attachment did not go through with this one.
Daniel