#14 seg fault in Yap 4.5.6 and Yap-4.4.4

[Daniel Mahler]

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 ~ $

[Daniel Mahler]

program to segfault Yap