Programação por restrições

Programação por restrições é um paradigma de programação que se refere ao uso de restrições na construção de relações entre variáveis. Consiste em especificar, para uma solução, que critérios (restrições) esta tem de cumprir. Surgiu inicialmente contido no contexto da programação lógica, apesar de actualmente existirem implementações baseadas em programação funcional (como em Oz) e programação imperativa (como em Kaleidoscope).

De forma geral, as restrições são implementadas como uma extensão de uma linguagem já existente. Estas, operam sobre domínios específicos, sendo os mais usuais os seguintes:

  • booleanos
  • números inteiros e racionais
  • lineares
  • finitos
  • mistos (vários dos anteriores)

Apesar dos vários domínios disponíveis, o mais usado actualmente é o domínio finito, devido principalmente à sua versatilidade. Na prática, o interpretador cria inicialmente o domínio para cada variável do problema e vai restringindo cada domínio à medida que avalia cada restrição. No fim deste processo, obter-se-á uma ou várias soluções que satisfaçam as restrições ou, caso estas não sejam satisfatíveis, nenhuma solução.

Ligações externas

Ícone de esboço Este artigo sobre informática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Read other articles:

كأس الكؤوس الإفريقية 1998

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (نوفمبر 2019) كأس الكؤوس الإفريقية 1998 تفاصيل الموسم كأس الكؤوس الإفريقية  النسخة 24  المنظم الاتحاد الإفريقي لكرة ...

 

Pro Duta FC

Pro Duta FCNama lengkapPro Duta Futbol ClubJulukanKuda PegasusKuda KeratonBerdiri1986Dibubarkan2017[1]StadionStadion Baharuddin Siregar,Kecamatan Lubuk Pakam, Kabupaten Deli Serdang, Provinsi Sumatera Utara(Kapasitas: 20.000)PemilikPT. Pro Duta FCKetua(jabatan lowong)SekretarisBelinda SiahaanManajerHandoyo SubositoLigaLiga 32013Juara (playoff) Pro Duta FC adalah sebuah klub sepak bola swasta profesional yang saat ini bermarkas di Stadion Baharuddin Siregar. Pada musim Liga Prima Indon...

 

Club Cultural y Deportivo Universidad Técnica de Cajamarca

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Club Cultural y Deportivo Universidad Técnica de Cajamarca – berita · surat kabar · buku · cendekiawan · JSTOR UTCNama lengkapClub Cultural y Deportivo Universidad Técnica de CajamarcaJulukanEl Gavilá...

Lampion terbang

Pelepasan sebuah lampion terbang saat perayaan Yi Peng di dekat Chiang Mai, Thailand Lampion terbang adalah lampion udara tradisional yang ditemukan di beberapa kebudayaan Asia. Lampion ini dibuat dari kertas yang sudah diminyaki dan terpasang pada bingkai bambu, di dalamnya terpasang lilin kecil atau sel bahan bakar lainnya lilin. Ketika menyala, api memanaskan udara di dalam lampion, sehingga menurunkan kepadatan dan menyebabkan lampion naik ke udara. Di Indonesia, lampion terbang dinyalaka...

 

Gjetost

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. GjetostNama lainBrunostNegara asalNorwegiaSumber susuSapiKambingDipasteurisasiYaKadar lemak0%Waktu pematanganTidakSertifikasiTidak[1] Gjetost atau Brunost adalah keju dari negara Norwegia yang dibuat dengan menggunakan air dadih dari susu kambi...

 

Shawn Michaels

Pour les articles homonymes, voir Shawn et Michaels. Shawn MichaelsShawn Michaels en 2018Données généralesNom de naissance Michael Shawn HickenbottomNom de ring Sean MichaelsShawn MichaelsNationalité AméricainNaissance 22 juillet 1965 (58 ans)ChandlerTaille 6′ 0″ (1,83 m)[1]Poids 225 lb (102 kg)[1]Catcheur retraitéFédération American Wrestling AssociationWorld Wrestling Federation/EntertainmentEntraîneur Jose LotharioCarrière pro. 16 octobre 1984 - 6 oc...

Newkirk Viaduct Monument

Sculpture by Thomas Ustick Walter Newkirk Viaduct Monument2018 photo39°56′24″N 75°12′23″W / 39.9400°N 75.2063°W / 39.9400; -75.2063LocationWest PhiladelphiaDesignerThomas Ustick WalterTypeobeliskMaterialwhite marbleWidth5 feet (1.5 m)Height14 feet (4.3 m)Completion date1839Dedicated toMatthew NewkirkMoved from original location sometime after 1927.[1] Moved to current location in 2016.[2] The Newkirk Viaduct Monument (als...

 

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

Harley Quinn

Harley QuinnCosplay Harley QuinnInformasi publikasiPenerbitDC ComicsPenampilan pertamaBatman: The Animated SeriesJoker's FavorPenampilan komik pertamaThe Batman Adventures #12 (September 1993)Dibuat olehPaul Dini (penulis)Bruce Timm (ilustrasi)Informasi dalam ceritaFull nameDr. Harleen Frances Quinzel[1][2][3]Afiliasi timSuicide SquadBirds of PreyJustice LeagueGotham City SirensSecret SixSecret Society of Super VillainsKemitraanJokerPoison IvyNama alias terkenalThe Cup...

The Walking Dead: The Ones Who Live

American post-apocalyptic television miniseries The Walking Dead: The Ones Who LiveOfficial cover artGenre Horror Serial drama Zombie apocalypse Created by Scott M. Gimple Danai Gurira Andrew Lincoln Based onThe Walking Deadby Robert Kirkman    Tony Moore    Charlie AdlardShowrunnerScott M. GimpleStarring Andrew Lincoln Danai Gurira Pollyanna McIntosh ComposerSam EwingCountry of originUnited StatesOriginal languageEnglishNo. of episodes6ProductionExecut...

 

2004 United States House of Representatives elections in Washington

2004 United States House of Representatives elections in Washington ← 2002 November 2, 2004 (2004-11-02) 2006 → All 9 Washington seats to the United States House of Representatives   Majority party Minority party   Party Democratic Republican Last election 6 3 Seats won 6 3 Seat change Popular vote 1,725,316 1,189,147 Percentage 58.93% 40.13% Swing 6.75% 4.66% Democratic   60–70%   80–90% Republican &#...

 

Portrait of a Fanatic

1982 Taiwanese filmPortrait of a FanaticDVD coverTraditional Chinese苦戀Simplified Chinese苦恋Literal meaningBitter LoveHanyu PinyinKǔ Liàn Directed byWang ToonWritten byWu Nien-chenBased onBitter Loveby Bai HuaStarringMuh Sy-CherngHsu Chung-feiMeng YuanKu ChunNancy HuDoze NiuGua Ah-lehCinematographyLin Hung-chungProductioncompanyCentral Motion Picture CorporationRelease date October 22, 1982 (1982-10-22) Running time112 minutesCountryTaiwanLanguagesMandarinsome Engl...

Sekretariat Kabinet (Jepang)

Cabinet Secretariat内閣官房Naikaku-kanbōSekretariat Kabinet terletak di Gedung Kantor KabinetInformasi lembagaWilayah hukum JepangKantor pusatNagatachō, Chiyoda, Tokyo, JepangPejabat eksekutifKatsunobu Katō, Kepala Sekretaris KabinetAkihiro Nishimura, Wakil Kepala Sekretaris KabinetNaoki Okada, Wakil Kepala Sekretaris KabinetKazuhiro Sugita [ja], Wakil Kepala Sekretaris KabinetSitus webwww.cas.go.jp (dalam bahasa Jepang) Sekretariat Kabinet bertanggung jawab...

 

أحمد باقر

  هذه المقالة عن أحمد باقر، شخصية سياسية. لمعانٍ أخرى، طالع أحمد باقر (توضيح). أحمد باقر معلومات شخصية اسم الولادة أحمد يعقوب يوسف باقر العبد الله تاريخ الميلاد 1952 (العمر 72 سنة) الجنسية  الكويت الديانة مسلم الحياة العملية التعلّم ماجستير صيدلة من بريطانيا المهنة سياس...

 

Tony Moilin

Tony MoilinFonctionMaire du 6e arrondissement de ParisBiographieNaissance 21 mai 1832Cosne-Cours-sur-LoireDécès 28 mai 1871 (à 39 ans)Jardin du Luxembourg (Paris, France)Nom de naissance Jules Antoine MoilinNationalité françaiseActivités Médecin, communardmodifier - modifier le code - modifier Wikidata Jules Antoine Moilin dit Tony Moilin, né le 21 mai 1832 à Cosne-sur-Loire et fusillé le 28 mai 1871 au Jardin du Luxembourg, est un médecin et homme politique français. Biograp...

一宮町

一宮町一宮町町日文轉寫 • 日文一宮町 • 平假名いちのみやまち • 罗马字Ichinomiya-machi玉前神社（上總國一宮） 町旗一宮町在千葉縣的位置一宮町一宮町在日本的位置坐标：35°22′22″N 140°22′08″E / 35.37278°N 140.36875°E / 35.37278; 140.36875国家 日本地方關東地方都道府縣千葉縣接鄰行政區夷隅市、睦澤町、長生村面积 • 总...

 

Chimaroke Nnamani

Nigerian politician This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Chimaroke Nnamani – news · newspapers · books · scholar · JSTOR (April 2012) (Learn how and when to remove this message) Chima...

 

Luis XV de Francia

Luis XV de Francia Rey de Francia y de Navarra[1]​ Luis XV retratado por Hyacinthe Rigaud, 1730.Rey de Francia y de Navarra[1]​ 1 de septiembre de 1715-10 de mayo de 1774(58 años y 251 días)Predecesor Luis XIV de FranciaSucesor Luis XVI de FranciaCopríncipe de Andorra 1 de septiembre de 1715-10 de mayo de 1774(58 años y 251 días)Predecesor Luis XIV de FranciaSucesor Luis XVI de FranciaInformación personalTratamiento Su Majestad CristianísimaOtros título...

キノコホテル

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: キノコホテル – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年6月) キノコホテル出身地 日本ジャンル パンク・�...

 

Mike Laughton

Mike LaughtonNazionalità Canada Altezza188 cm Peso84 kg Hockey su ghiaccio RuoloCentro Tiro Sinistro Termine carriera1978 Carriera Periodo Squadra PG G A Pt Giovanili 1961-1963 Nelson Knights Squadre di club0 1962-1966  Nelson Maple Leafs 155 96 90 186 1966-1967  Victoria Maple Leafs 62 16 11 27 1967-1970  Oakland Seals 175 40 52 92 1967-1968 →  Vancouver Canucks 23 8 5 13 1968-1969 →  Cleveland Barons 13 2 6 8 1970-1971  California Golden Seals 25 1 0 ...