hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Syntax and semantics of logic programming
Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the name "logic programming" also refers to a specific programming language that roughly corresponds to the declarative subset of Prolog. Unfortunately, the term must be used in both senses in this article.

Declarative logic programs consist entirely of rules of the form

Each such rule can be read as an implication:

meaning "If each  is true, then  is true". Logic programs compute the set of facts that are implied by their rules.

Many implementations of Datalog, Prolog, and related languages add procedural features such as Prolog's cut operator or extra-logical features such as a foreign function interface. The formal semantics of such extensions are beyond the scope of this article.

Herbrand structure
In first-order logic, a Herbrand structure  is a structure over a vocabulary  (also sometimes called a signature) that is defined solely by the syntactical properties of  . The idea is to take the symbol strings of terms as their values, e.g. the denotation of a constant symbol  is just "" (the symbol). It is named after Jacques Herbrand.

Herbrand structures play an important role in the foundations of logic programming.
KMJK
KMJK (107.3 FM, "107.3 The Vibe") is a contemporary hit radio station serving the Kansas City metropolitan area. It is licensed to North Kansas City, Missouri, and owned by Cumulus Media, with studios on Indian Creek Parkway near Interstate 435 in Overland Park, Kansas.

KMJK has an effective radiated power (ERP) of 100,000 watts. The transmitter is off Pleasant Prairie Road at Doris Neer Road in Napoleon, Missouri.

Urban adult contemporary
Urban adult contemporary, often abbreviated as urban AC or UAC, (also known as adult R&B,) is the name for a format of radio music, similar to an urban contemporary format. Radio stations using this format usually would not have hip hop music on their playlists, and generally include some mix of contemporary R&B and traditional R&B (while urban oldies stations emphasize only the latter). Urban adult contemporary playlists generally consist of many different genres that originated amongst Black Americans including R&B, soul, funk, disco, jazz, pop, hip-hop, electro, quiet storm, gospel, new jack swing, and hip-hop soul.
I.D. (album)
I.D. is an album by the Jamaican band the Wailers Band, released in 1989. Most of the songs were written by Junior Marvin; the band had around 300 songs to consider.

The album was nominated for a Grammy Award, in the "Best Reggae Recording" category. The band supported the album with a North American tour.

Family Man (musician)
Aston Francis Barrett, CD (22 November 1946 – 3 February 2024), often called "Family Man" or "Fams" for short, was a Jamaican musician and Rastafarian. He was best known as the bass-guitar bandleader of Bob Marley and The Wailers, as well as co-producer of the albums, and the man in charge of the overall song arrangements.
De Marne
De Marne (Dutch pronunciation: [də ˈmɑrnə] ⓘ) is a former municipality in the northeast of the Netherlands. On 1 January 2019 it merged with the municipalities of Bedum, Eemsmond and Winsum to form the new municipality Het Hogeland.

Warfhuizen
Warfhuizen (Gronings: Waarfhoezen) is a village in province of Groningen, located in the northern part of the Netherlands. It is part of the municipality of Het Hogeland.

Warfhuizen consists of two man-made mounds, called wierden, designed to escape the floodwaters of the Wadden, which flooded the whole region several times a year before dykes had been coed. The smaller mound was originally raised to protect a separate village called Burum. The village church stands on the larger mound.
Tadeusz Dembończyk
Tadeusz Dembonczyk (23 December 1955 – 11 February 2004) was a Polish weightlifter. He won the Bronze medal 56 kg in the 1980 Summer Olympics in Moscow. He was awarded the Bronze after he tied with Andreas Letz after both lifted 265 kg in total and they had weighted 55.6 kg before the competition and were reweighed and Dembonczyk was awarded the bronze.

Andreas Letz
Andreas Letz (born 5 June 1962 in Sömmerda, Bezirk Erfurt) is a German weightlifter. He competed in the 56 kg and 60 kg categories, and set two world records in the clean and jerk, and one in the total.

Competing for the German Democratic Republic, he ranked fourth in the 56 kg category at the 1980 Summer Olympics.

Letz ranked overall second at the 1981 World Weightlifting Championships, and ranked third in World Championships three times in 1983, 1985, and 1986. In European Championships, he ranked overall second in 1980 and 1981, and third in 1983, 1985, and 1986.
Liga IV Teleorman
Liga IV Teleorman (known as Liga IV Fortuna Sports for sponsorship reasons) is the county football division of Liga IV for clubs based in Teleorman County, Romania. The competition is ranked as the fourth tier of the Romanian football league system and is organized by AJF Teleorman – Asociația Județeană de Fotbal (lit. 'County Football Association').

It is contested by a variable number of teams, depending on the number of teams relegated from Liga III, the number of teams promoted from Liga V Teleorman, and the teams that withdraw or enter the competition. The winner may or may not be promoted to Liga III, depending on the result of a promotion play-off contested against the winner of a neighboring county series.

Romanian football league system
The Romanian football league system, also known as the football pyramid, refers to the system in Romanian club football that consists of several football leagues bound together hierarchically by promotion and relegation. The first three leagues are organized at a national level and consist of fully professional teams. Lower divisions are organized at county levels, with each county's football association controlling its respective leagues.

Reserve teams play in the same league system as their parent clubs.
Indian tax forms
Indian tax forms are used to document information in compliance with the Income Tax Act of 1961 and in accordance with the Income Tax Rules (codified in 1962), which govern the process of filing income tax returns in India.

Hindu joint family
A Hindu joint family or Hindu undivided family is an extended family arrangement prevalent among Hindus throughout the Indian subcontinent, particularly in India, consisting of multiple generations of lineal male descendants from a common ancestor, living in the same household with the wives and unmarried daughters of these descendants.

Hindu Undivided Family (‘HUF’) is treated as a ‘person’ under section 2(31) of the Income-tax Act, 1961. HUF is a separate entity for the purpose of assessment under the Act. Except for Kerala, HUF is recognized throughout India.
Frontier Justice (film)
Frontier Justice is a 1935 black-and-white Western film directed by Robert F. McGowan starring Hoot Gibson based on the novel by Colonel George Brydges Rodney. Produced for Walter Futter's Diversion Pictures, it was rereleased by Grand National Pictures in 1937 and later reissued by Astor Pictures in the 1940s.

Grand National Films Inc.
Grand National Films, Inc (or Grand National Pictures, Grand National Productions and Grand National Film Distributing Co.) was an American independent motion picture production-distribution company in operation from 1936 to 1939.  The company had no relation to the British Grand National Pictures (although the British firm used the American company's logo).
2018 Boracay closure and redevelopment
On April 26, 2018, the Philippine resort island of Boracay, one of the country's major tourist destinations, was temporarily closed to the general public as part of the Philippine government's efforts to rehabilitate and redevelop the island. As part of the closure, Boracay was closed for six months except to its registered residents and employees. The closure had a significant effect on the livelihood of local people. In 2022, the Philippine government declared that the closure was successful in rehabilitating the island's environment.

Malay, Aklan
Malay /mɑːˈlaɪ/, officially the Municipality of Malay (Aklanon: Banwa it Malay; Hiligaynon: Banwa sang Malay; Tagalog: Bayan ng Malay), is a  municipality in the province of Aklan, Philippines. According to the 2024 census, it has a population of 64,723 people.

The municipality is notable for encompassing Boracay island, a major resort destination in the Philippines. The town is the richest municipality in terms of revenue and considered the youngest amongst all municipalities in Aklan province. It is also the northernmost town on the island of Panay.
Yoshihiro Senda
Yoshihiro Senda (千田 嘉博, Senda Yoshihiro; born July 19, 1963) is a Japanese castle archeologist. He is a professor at Nara University and was president of the university from April 2014 to August 2016. His work focuses on the excavation and maintenance of castles from medieval and modern Japan, as well as comparative studies of castles around the world including those in Europe and Mongolia. He received the Hamada Seiryō Prize in 2015. He worked as a historical consultant for the taiga drama Sanada Maru in 2016. He has made several appearances on television. His books include Nobunaga's Castles, published by Iwanami Shoten.

Chikuma Shobō
Chikumashobo Ltd. (株式会社筑摩書房, Kabushiki Kaisha Chikuma Shobō) is a Japanese book publisher headquartered in Kuramae, Taitō, Tokyo.

Founded in 1940 by Furuta Akira (1906–1973) in cooperation with the writer and critic Yoshimi Usui, it first published the intellectual monthly Tembo (Views) in 1946.

In 1953 Usui planned and edited the first edition of the Gendai Nihon bungaku zenshu (Collected Works of Modern Japanese Literature). Originally issued as 55 volumes and later increased to 99 volumes, this undertaking provided "a model for later collections of literature by Japanese authors".

The firm co-sponsors the Dazai Osamu Prize with the city of Mitaka, Tokyo. The prize is awarded annually to an outstanding, previously unpublished short story by an unrecognized author; the winner receives a commemorative gift and a cash award of 1 million yen.
Chinatown Fair
Chinatown Fair Family Fun Center is a video arcade center located on Mott Street in Chinatown, Manhattan. Historically, the arcade catered toward competitive fighting games. The original arcade opened in 1944 and closed in February 2011, but reopened in May 2012 under different management. Chinatown Fair has been widely regarded as New York City's "last great arcade".

Amusement arcade
An amusement arcade, also known as a video arcade, amusements, arcade, or penny arcade (an older term), is a venue where people play arcade games. These include arcade video games, pinball machines, electro-mechanical games, redemption games, merchandisers (such as claw machines), or coin-operated billiards or air hockey tables. In some countries, some types of arcades are also legally permitted to provide gambling machines such as slot machines or pachinko machines. Games are usually housed in cabinets.

Video games were introduced in amusement arcades in the late 1970s and were most popular during the golden age of arcade video games, the early 1980s.
Berdavan, Armenia
41°12′10″N 45°00′12″E﻿ / ﻿41.20278°N 45.00333°E﻿ / 41.20278; 45.00333

Berdavan (Armenian: Բերդավան) is a village on the Kolb River in the Noyemberyan Municipality of the Tavush Province of Armenia. The village is located about 2 km north of the town of Noyemberyan, and near the villages of Dovekh, Koghb and Zorakan. Berdavan Fortress is located on a nearby hilltop.

Koghb, Armenia
41°10′59″N 44°58′22″E﻿ / ﻿41.18306°N 44.97278°E﻿ / 41.18306; 44.97278

Koghb (Armenian: Կողբ) is a village and rural community in the Noyemberyan Municipality of the Tavush Province of Armenia, located near the town of Noyemberyan.
Vrbica Stefanov
Vrbica Stefanov (Macedonian: Врбица Стефанов, pronounced [ˈvrbit͡sa ˈstɛfanɔv]; born December 19, 1973) is a retired Macedonian professional basketball player and former head coach of the Macedonian clubs Kožuv and MZT Skopje. On 23 March 2009, Vrbica Stefanov was awarded the Medal for Service to the Country, by the then-President of the Republic of Macedonia, Branko Crvenkovski, in acknowledgement of his sport achievements, and his contribution to developing and popularizing sports in Macedonia, as well as promoting the country abroad.

Macedonian First League (basketball)
The Macedonian First League (Macedonian: Македонска прва лига, Makedonska prva liga) is the top-tier basketball competition in the Republic of North Macedonia organized by the Basketball Federation of North Macedonia. Until 1992 it was called Macedonian Republic League after which it was transformed into top division level Macedonian Basketball First League. After the transformation, teams from the dissolved Yugoslav Federal Leagues (MZT Skopje and Rabotnički) joined the Macedonian First League.
Johnny Kan
Johnny Kan (1906–1972) was a Chinese American restaurateur in Chinatown, San Francisco, ca 1950–1970. He was the owner of Johnny Kan's restaurant, which opened in 1953, and published a book on Cantonese cuisine, Eight Immortal Flavors, which was praised by Craig Claiborne and James Beard. Kan and Cecilia Chiang (proprietor of the Mandarin in Ghirardelli Square) are credited with popularizing authentic Chinese cuisine as a fine dining option, displacing the stereotypical chop suey American Chinese cuisine prevalent in the 1950s and 60s.

Herb Caen
Herbert Eugene Caen (/keɪn/; April 3, 1916 – February 1, 1997) was a San Francisco humorist and journalist whose daily column of local goings-on and insider gossip, social and political happenings, and offbeat puns and anecdotes—"A continuous love letter to San Francisco"—appeared in the San Francisco Chronicle for almost sixty years (excepting a relatively brief defection to The San Francisco Examiner) and made him a household name throughout the San Francisco Bay Area.

"The secret of Caen's success", wrote the editor of a rival publication, was:

his outstanding ability to take a wisp of fog, a chance phrase overheard in an elevator, a happy child on a cable car, a deb in a tizzy over a social reversal, a family in distress and give each circumstance the magic touch that makes a reader an understanding eyewitness of the day's happenings.

A special Pulitzer Prize called him the "voice and conscience" of San Francisco.
2023 Viking FK season
The 2023 season was Viking's 5th consecutive year in the Eliteserien, and their 73rd season in the top flight of Norwegian football. The club participated in the Eliteserien, the 2022 Norwegian Football Cup and the 2023 Norwegian Football Cup. It was the club's third season with Bjarte Lunde Aarsheim and Morten Jensen as managers.

2023 Norwegian Football Cup
The 2023 Norwegian Football Cup was the 117th season of the Norwegian annual knock-out football tournament. It started on 22 May 2023 and finished on 9 December 2023. The winners qualified for the 2024–25 Europa League first qualifying round.

Molde won the cup with a 1–0 win over Bodø/Glimt, their sixth Norwegian Football Cup win.
Pyramid Mountain (Clallam County, Washington)
Pyramid Mountain is located high above Lake Crescent's north shore.  Once known as Sugarloaf Mountain, it received its present name in 1928.  It has a restored Aircraft Warning Service lookout at the summit, which was used to watch for enemy aircraft during World War Two. It dominates the view from Barnes Point and Lake Crescent Lodge. It is accessible by trail from the Spruce Railroad Trail. On a clear day, Mount Baker is visible in the Cascade Range across the Puget Sound.

From the summit, it is easy to see the landslide that blocked Indian Creek and dammed Lake Crescent. Below the landslide is Lake Sutherland and the Indian Creek valley down to the Elwha River.

Indian Creek (Elwha River tributary)
Indian Creek is a tributary of the Elwha River located in Clallam County, Washington in the United States. It flows from Lake Sutherland into the former Lake Aldwell and has a total length of 5.65 miles (9.09 km).
May 25 (Eastern Orthodox liturgics)
May 24 - Eastern Orthodox Church calendar - May 26

All fixed commemorations below celebrated on June 7 by Orthodox Churches on the Old Calendar.

For May 25th, Orthodox Churches on the Old Calendar commemorate the Saints listed on May 12.

May 12 (Eastern Orthodox liturgics)
May 11 - Eastern Orthodox Church calendar - May 13

All fixed commemorations below celebrated on May 25 by Orthodox Churches on the Old Calendar.

For May 12th, Orthodox Churches on the Old Calendar commemorate the Saints listed on April 29.
1940 Hong Kong municipal election
The 1940 Hong Kong Urban Council election was held on 29 February 1940 for one of the two unofficial seats in the Urban Council of Hong Kong. It was the first contested election since the establishment of the Urban Council of Hong Kong and also the last one before the outbreak of the Pacific War. The next election to be held would be the 1952 election, twelve years later.

1952 Hong Kong municipal election
The 1952 Hong Kong Urban Council election was held on 30 May 1952 for the two elected seats of the Urban Council of Hong Kong. It was the first Urban Council election since the end of the Japanese occupation of Hong Kong, the previous election having been held in 1940. Barrister Brook Bernacchi of the Reform Club of Hong Kong and William Louey, chief manager of Kowloon Motor Bus won the two seats.
United Nations Security Council Resolution 1969
United Nations Security Council Resolution 1969 was adopted unanimously on February 24, 2011; after reaffirming resolutions 1599 (2005), 1677 (2006), 1690 (2006), 1703 (2006), 1704 (2006), 1745 (2007), 1802 (2008), 1867 (2009) and 1912 (2010) on the situation in East Timor (Timor-Leste), the Council decided to extend the mandate of the United Nations Integrated Mission in Timor-Leste (UNMIT) for a year, until February 26, 2012.

United Nations Security Council Resolution 1703
United Nations Security Council Resolution 1703, adopted unanimously on August 18, 2006, after reaffirming previous resolutions on East Timor (Timor-Leste), particularly resolutions 1599 (2005), 1677 (2006) and 1690 (2006), the Council renewed the mandate of the United Nations Office in Timor-Leste (UNOTIL) until August 25, 2006.

The technical resolution was adopted to allow more time for discussions on a new peacekeeping mission, which would later become known as the United Nations Integrated Mission in East Timor, adopted in Resolution 1704 (2006).
2012–13 Dumbarton F.C. season
The 2012–13 season was Dumbarton's first season back in the Scottish First Division, having been promoted from the Scottish Second Division at the end of the 2011–12 season. Dumbarton also competed in the Challenge Cup, League Cup and the Scottish Cup.

2012–13 Scottish First Division
The 2012–13 Scottish Football League First Division, also known as the 2012–13 Irn Bru Scottish Football League First Division for sponsorship reasons, was the 19th season of the Scottish Football League First Division and the 107th season of a second-tier football league in Scotland. Partick Thistle were confirmed as 2012–13 champions, on 20 April following their 2-0 win over Falkirk. This was the final season of the First Division under its then format, as it was replaced by the Scottish Championship from the 2013–14 season onwards.
Umm Batin
Umm Batin (Arabic: أم بطين; Hebrew: אום בטין) is a Bedouin village in southern Israel. Located in the northern Negev desert, 12 km northeast of Beersheba and adjacent to the highway 60, it falls under the jurisdiction of al-Kasom Regional Council. In 2023 it had a population of 5,295.

Ministry of Interior (Israel)
The Ministry of Interior (Hebrew: משרד הפנים, Misrad HaPnim; Arabic: وزارة الداخلية) in the State of Israel is one of the government offices that is responsible for local government, citizenship and residency, identity cards, and student and entry visas.
Edward Mashinya
Edward Tinashe Mashinya  (born February 22, 1984, in Harare, Zimbabwe) is a Zimbabwean football coach and former professional player. He is currently the head coach of the Omonia Nicosia Women's Team. A former striker, Mashinya played for several clubs in Cyprus, including Omonia, Ethnikos Achnas, Olympiakos Nicosia, and MEAP Nisou, scoring 170 goals in 324 appearances. He holds a UEFA A License and has served in various coaching roles including assistant head coach and analyst at OMONOIA 29ης Μαΐου, U16 head coach at MEAP Nisou, and academy head coach at Liverpool FC International Academy Cyprus.

MEAP Nisou
MEAP Pera Choriou Nisou (Greek: ΜΕΑΠ Πέρα Χωριού Νήσου; short for Μικτή Ερυθρού Αστέρα Προόδου Πέρα Χωριού Νήσου, Mikti Erithrou Astera Proodou, "Selected team of Erithros Asteras and Proodos") is a Cypriot football club from the village of Nisou. The club was founded in the small town of Nisou near the city of Nicosia in 1981, following the merge of Erithros Asteras (Red Star) and Proodos (Progress). The colors of the team are red and white. The club currently competes in the Cypriot Second Division.
Sunken Treasure: Live in the Pacific Northwest
Sunken Treasure: Live in the Pacific Northwest is a DVD featuring live performances by Jeff Tweedy. The DVD was released on October 24, 2006. The DVD enables the user to download MP3s of each track on the DVD and seven others from the same tour. The AV Club gave it a rating score of B+.

Glenn Kotche
Glenn Kotche /ˈkoʊtʃi/  (born December 31, 1970 in Roselle, Illinois, United States) is an American drummer and composer, best known for his involvement in the band Wilco.  He was named the 40th greatest drummer of all time by Gigwise in 2008.

Prior to working with Wilco, Kotche released a four-track album
entitled Introducing. In 2003, he released a second solo album titled
Next, featuring solo drum improvisations using homemade percussion
installations. A third solo album was released in March 2006 on
Nonesuch Records, entitled Mobile. This album featured a broad range
of compositions for percussion.
2012 Texas House of Representatives election
The 2012 Texas House of Representatives elections took place as part of the biennial United States elections. Texas voters elected state senators in all 150 State House of Representatives districts. The winners of this election served in the 83rd Texas Legislature, with seats apportioned according to the 2010 United States census. State representatives serve for two-year terms.

At the beginning of the Eighty-second Texas Legislature following the 2010 Texas State House of Representatives elections, the Democrats held 49 seats to the Republicans' 101.

As of 2022, this is the last time Democrats won a state house seat in Chambers or Galveston county. This is also the first time a Republican has ever won a state house seat in Jefferson County (although the incumbent was a former Democrat who switched parties after winning re-election in 2010).

2022 Texas House of Representatives election
The 2022 Texas House of Representatives elections were held on November 8, 2022, to elect representatives from all 150 House of Representatives districts across the U.S. state of Texas. They were held alongside numerous other federal, state, and local elections, including the 2022 Texas State Senate election. The winners of this election served in the 88th Texas Legislature, with seats apportioned according to the 2020 United States census.