来自群友
将5条线命名为abcde，然后输入：
conic(Intersect( line( Intersect(a, b), Intersect( line( Intersect(c, d), Intersect(e, a) ), line( Intersect(d, e), Intersect(b, c) ) ) ), d ),Intersect( line( Intersect(b, c), Intersect( line( Intersect(d, e), Intersect(a, b) ), line( Intersect(e, a), Intersect(c, d) ) ) ), e ),Intersect( line( Intersect(c, d), Intersect( line( Intersect(e, a), Intersect(b, c) ), line( Intersect(a, b), Intersect(d, e) ) ) ), a ),Intersect( line( Intersect(d, e), Intersect( line( Intersect(a, b), Intersect(c, d) ), line( Intersect(b, c), Intersect(e, a) ) ) ), b ),Intersect( line( Intersect(e, a), Intersect( line( Intersect(b, c), Intersect(d, e) ), line( Intersect(c, d), Intersect(a, b) ) ) ), c ))
将5条线命名为abcde，然后输入：
conic(Intersect( line( Intersect(a, b), Intersect( line( Intersect(c, d), Intersect(e, a) ), line( Intersect(d, e), Intersect(b, c) ) ) ), d ),Intersect( line( Intersect(b, c), Intersect( line( Intersect(d, e), Intersect(a, b) ), line( Intersect(e, a), Intersect(c, d) ) ) ), e ),Intersect( line( Intersect(c, d), Intersect( line( Intersect(e, a), Intersect(b, c) ), line( Intersect(a, b), Intersect(d, e) ) ) ), a ),Intersect( line( Intersect(d, e), Intersect( line( Intersect(a, b), Intersect(c, d) ), line( Intersect(b, c), Intersect(e, a) ) ) ), b ),Intersect( line( Intersect(e, a), Intersect( line( Intersect(b, c), Intersect(d, e) ), line( Intersect(c, d), Intersect(a, b) ) ) ), c ))
