Textに投稿されたコード一覧
:- op(700, xfx, ∈).∈(X, Y) :- contains(Y, X).contains([Val|_], Val).contains([_|Tail], Val) :- contains(Tail, Val).
append([], List, List).append([Head|Tail], List, [Head|TailR]) :- append(Tail, List, TailR).部分リスト(List, (I, I), []).部分リスト(List, (0, End), SubList) :-
% 4×4 行列分解groups_4x4([[M00, M01, M02, M03], % 行ベクトルのリスト[M10, M11, M12, M13],
append([], List, List).append([Head|Tail], List, [Head|TailR]) :- append(Tail, List, TailR).at([Val|Tail], 0, Val).at([Head|Tail], Idx, Val) :- number(Idx), Idx > 0, Idx1 is Idx - 1, at(Tail, Idx1, Val).
% 0 = 点灯(on), 1 = 消灯(off)とする。% 解答として、すべて点灯させるためにスイッチすべきライトの成分のリストを返す。% リスト・行列に関する諸述語append( [], List, List ).
append( [], List, List ).append( [Head|Tail], List, [Head|TailR] ) :- append(Tail, List, TailR).at( [Head|Tail], (0, Y), Val ) :- at(Head, Y, Val).at( [Head|Tail], (X, Y), Val ) :- X > 0, X1 is X - 1, at( Tail, (X1, Y), Val ).
library IEEE;use IEEE.std_logic_1164.all;package SUB_PACK is
Sub main()'iOS用でエクセルファイルをplistで読み込むためのExcelVBAファイル'xml用変数