如何在prolog中找到一个接受非确定性有限自动机的长度为k的单词（如果有很多，一个就足够了）？我这样写机器：
states([q0, q1, q2]).
symbols([a, b]).
transition(q0, a, q1).
transition(q0, b, q2).
transition(q1, a, q2).
transition(q1, b, q0).
transition(q2, a, q1).
transition(q2, b, q2).
startState(q0).
finalStates([q2]).
老师的任务：在 Turbo Prolog 2.0 上使用高斯消元法和反向替换法求三次样条（cubic spline）的系数- 编写一个简单的程序，无需优化。
如何正确引用此函数купил_путёвку(x,y)以使其返回答案，例如，它准确回答了 Ivan 或 Petya 买票的问题，我尝试通过以下方式联系купил_путёвку(X,Y)，但我收到一条消息false，虽然我应该给出答案，例如，оптисофт或авиатор。
деньги('Ivan',есть).%есть деньги
деньги('Petya',есть).%есть деньги
паспорт('Ivan',есть).%у Ивана есть паспорт
паспорт('Petya',есть).%у Пети есть паспорт
ближе(авиатор,оптисофт).%Оптисофт ближе, чем авиатор
купил_путёвку(x,y):-ближе(x,y),деньги(x,y),паспорт(x,y).
我正在编写一个带有窗口的程序并创建一个正方形和一个椭圆
:- use_module(library(pce)).
start:-new(DW,dialog('Окно моей программы')),new(Picture,picture), send(Picture,width(350)), send(Picture, height(350)), send_list(DW, append, [Picture, new(Width, int_item(width, low:=10, high:=300, default:=150)), new(Height, int_item(height, low:=10, high:=300, default:=150))]), send(DW, append, new(X, int_item(x_coord, default:=10))), send(DW, append, new(Y,int_item(y_coord, default:=10))),send_list(DW,append,[button('нарисовать прямоугольник', message(@prolog, mybox, Picture, Width?selection, Height?selection, X?selection,Y?selection)), button('нарисовать эллипс', message(@prolog, myellipse, Picture, Width?selection, Height?selection, X?selection, Y?selection)), button('стереть',message(Picture, clear))]), send(DW, append, button(exit, and(message(DW, destroy), message(Picture, destroy)))), send(Picture, open), send(DW, open).
mybox(Picture,Width,Height,X,Y):-send(Picture, display, new(_,box(Width,Height)),point(X,Y)),send(Picture,colour,colour(red)).
myellipse(Picture,Width,Height,X,Y):-send(Picture, display, new(_,ellipse(Width,Height)),point(X,Y)).
尝试：发送（图片，颜色，颜色（红色））发送（图片，填充图案，颜色（红色））不工作。
问题：如何更改形状（边框）的颜色和形状的背景？
