質問： 「角2が80度なら、四角形aの形は?」

?- 四角形[記号=a]/[形=X];;
　 &begin_program;;
　 四角形[記号=a]/[角2=80]
　 &end_program.